package data_management;

public class LogDBManager {

	private static final LogDBManager logDatabase  = new LogDBManager();
	//@ public invariant logDatabase != null;

  
  /*@
  @ 
  @ ensures \result == this.logDatabase;
  @*/  
  public static LogDBManager getInstance() {
	  return logDatabase;
  }
}